#! /bin/sh

./filter_stderr |
sed "s/checked [0-9,]* bytes./checked ... bytes./"
